Superposition as a logical glue
نویسندگان
چکیده
منابع مشابه
Superposition as a logical glue
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline. A large part of this background knowledge is expressed in form of equalities and isomorphisms, allowing mathematicians to freely move between different in...
متن کاملSmall CCC’s as Logical Forms for LFG Glue Semantics
In this brief note I will present a way to adapt the ‘semantic interpretation as a functor’ idea introduced independently but in similar forms by Lambek (1988) and Dougherty (1993) for Categorial Grammar to the rather different environment of LFG glue semantics’ (Dalrymple (2001), Asudeh (2004) and many other works). Pollard Pollard (2004) presents a somewhat different conception of semantic in...
متن کاملLogical Superposition Coded Modulation for Wireless Video Multicasting
This thesis documents the design of logical superposition coded (SPC) modulation for implementation in wireless video multicast systems, to tackle the issues caused by multi-user channel diversity, one of the legacy problems due to the nature of wireless video multicasting. The framework generates a logical SPC modulated signal by mapping successively refinable information bits into a single si...
متن کاملJava as Persistent Glue
The DISCWorld system seeks to provide an environment in which non-computer expert users can access and direct the processing of large scale datasets utilising distributed high performance computing and storage resources. The implementation of this system can benefit from many of the attributes of orthogonal persistence, however the wide variety of target system, target languages and the need to...
متن کاملJava as Distributed Object Glue
1 In World Computer Congress 2000, Beijing, China, August 2000. International Federation for Information Processing. This is a machine-readable rendering of a working paper draft that led to a publication. The publication should always be cited in preference to this draft using the reference in the previous footnote. This material is presented to ensure timely dissemination of scholarly and tec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.53.1